Well-formed formula
FINITE SEQUENCE OF SYMBOLS FROM A GIVEN ALPHABET THAT IS PART OF A FORMAL LANGUAGE
Well formed formula; Well-formed formulas; Formula (mathematical logic); Well formed formulae; Well-formed formulae; Subformula; Layman Allen; Quantifier-free formula; Formula (logic); Logical expression; Logical formula; Formula (logics)
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language.Formulas are a standard topic in introductory logic, and are covered by all introductory textbooks, including Enderton (2001), Gamut (1990), and Kleene (1967) A formal language can be identified with the set of formulas in the language.